type theory
英 [taɪp ˈθɪəri]
美 [taɪp ˈθiːəri]
网络 类型论; 型态理论; 类型理论; 类理论; 型理论
双语例句
- In contrast in intensional Type Theory type checking is decidable, but the representation of many mathematical concepts is non-standard due to a lack of extensional reasoning.
相反的，在内涵类型论中，类型检查是可判定性的，但是很多数学概念的表达是不标准的，因为缺乏外延推理。 - Text Type Theory and Its Application to Translation Teaching
文本类型理论及其在翻译教学中的应用 - Text type theory based analysis of Chinese-to-English translation of public signs
从文本类型理论视角解析公示语汉英翻译实践 - Study on Jungian Psychological Type Theory and Inventory of Historical Development
荣格心理类型理论与量表的历史发展研究 - MBTI psychological type theory may contribute to the self-perfection to individual lawyers as well as legal profession as a whole.
MBTI性格类型理论无论对作为个体的法律人和还是对作为整体的法律职业，在自我完善方面都具有重要的参考价值。 - You would need to study type theory at university for several years to understand what it's all about.
你需要学习理论在大学数多年来了解它的全部。 - On type theory for object oriented programming
面向对象类型理论的比较研究 - The scholar of China has revised the conception of the Economic-cultural type theory.
我国学者对前苏联经济文化类型理论概念进行了修改。 - Translation and the Text Type Theory
文本类型理论与翻译 - Our approach is to combine object-oriented paradigm with formal methods in software engineering, especially abstract data type theory, and algebraic specification of systems.
我们希望能够将面向对象的数据库系统与软件工程中的形式化方法，尤其是抽象数据类型、系统的代数规范等结合起来。 - In analogy to algebraic data type theory, this paper proposed the mathematical model of objects, object types and abstract object types.
类似于代数数据类型理论，本文提出了对象、对象类型及抽象对象类型的代数模型。 - Lastly, the problem of software evolution caused by introducing agent model is studied based on an architecture description language named C2 ADL and software architecture type theory.
最后，基于C2ADL和软件体系结构的类型理论，系统地研究了引入Agent模型产生的软件演化问题。 - An Automatic Programming System Based on Type Theory
一个基于类型理论的自动程序设计系统 - Imperative Operational Semantics in Type Theory
命令的操作语义在类型系统中的一种表示 - A Donnell type theory is developed for finite deflection of closely stiffened truncated laminated composite conical shells under arbitrary loads by using the variational calculus and smeared-stiffener theory.
本文利用变分原理和平均筋条刚度法，建立了在任意载荷作用下纵向和环向密加筋复合材料圆锥壳体有限变形的Donnell型理论。 - Type Theory and Programming
类型理论和程序设计 - The theory makes a basic judge on the social type transformation process of present Chinese society from traditional type to modern type, and becomes the foundation for the formation of new modernization type theory.
这一研究形成了关于中国社会正处在由传统型社会向现代型社会转型过程的基本判断，构成了新型现代化理论的基础。 - Formal Model of XML Type System Based on Type Theory
基于类型理论的XML类型系统形式化建模 - The Chinese traditional culture based personality type theory& I Qing personality model, was introduced.
该文介绍了基于中国传统文化建立起来的本土化人格类型理论&周易人格模型； - Recursive metaprogramming based on type theory
基于类型理论的递旧元程序设计 - The text type theory, proposed by the German translation theorist K. Of the original text.
文本类型理论是德国翻译理论家赖斯和英国翻译家纽马克根据语言功能对文本进行功能划分的理论。 - In the field of law science of administrative litigation, the study on the administrative litigation type is a question ignored for a long time, and the application of the type theory is rarer.
在行政诉讼法学领域，对行政诉讼类型的研究是一个长期被忽视的问题，类型理论的运用就更为少见。 - An inheritance mechanism with type theory
基于类型理论的继承机制的研究 - Neo-classical Type Theory
新古典主义的类型说 - On the π and Σ rules in intuitionistic type theory
直觉主义类型论中π和∑规则的研究 - Nevanlinna type theory of meromorphic functions in the exterior of a circle ( I)
圆外亚纯函数的Nevanlinna型理论（I） - Studies of the negation in the intuitionistic type theory
直觉主义类型论中否定构造的研究 - The whole article places extra emphasis on the cognition and analysis of type theory of Arthur Kaufmann.
全文侧重对考夫曼类型理论的认识和分析，对这种理论在刑法中的作用进行了修正和完善。 - The traditional cognition insists prohibition of analogy. On the other side, the type theory believe that the understanding of legal norms is a process of analogy.
传统认识认为只要是类推就要禁止，类型理论则认为对于法律规范的理解本身就是一个类推的过程。 - Grassland classification is the concrete practice of the grassland type theory.
草原分类是草原类型理论的具体实践。